منابع مشابه
Dynamic Data Race Detection for Correlated Variables
In parallel programs concurrency bugs are often caused by unsynchronized accesses to shared memory locations, which are called data races. In order to support programmers in writing correct parallel programs, it is therefore highly desired to have tools on hand that automatically detect such data races. Today, most of these tools only consider unsynchronized read and write operations on a singl...
متن کاملislanding detection methods for microgrids
امروزه استفاده از منابع انرژی پراکنده کاربرد وسیعی یافته است . اگر چه این منابع بسیاری از مشکلات شبکه را حل می کنند اما زیاد شدن آنها مسائل فراوانی برای سیستم قدرت به همراه دارد . استفاده از میکروشبکه راه حلی است که علاوه بر استفاده از مزایای منابع انرژی پراکنده برخی از مشکلات ایجاد شده توسط آنها را نیز منتفی می کند . همچنین میکروشبکه ها کیفیت برق و قابلیت اطمینان تامین انرژی مشترکان را افزایش ...
15 صفحه اولDynamic Data Race Detection and Healing
Perpetual availability is an important operational goal in today's computer systems. However , achieving this goal is challenging because modern software systems contain faults that can cause them to fail. For example, multi-threading is widely used in modern software to fully utilize the computing capability of multicore processors. However, employing multi-threading can lead to concurrency fa...
متن کاملDynamic race detection in parallel programs
Recent hardware developments have pushed parallel computing out of the niche of numeric applications into the mainstream. Unfortunately, parallel programs may contain synchronization defects, a class of defect which is difficult to detect. A significant source of these defects is the phenomenon of data races, i.e., unsynchronized accesses to shared data. Since parallel programs are scheduledepe...
متن کاملArray Shadow State Compression for Precise Dynamic Race Detection
Precise dynamic race detectors incur significant time and space overheads, particularly for array-intensive programs, due to the need to store and manipulate analysis (or shadow) state for every element of every array. This paper presents SLIMSTATE, a precise dynamic race detector that uses an adaptive, online algorithm to optimize array shadow state representations. SLIMSTATE is based on the i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2017
ISSN: 0362-1340,1558-1160
DOI: 10.1145/3093333.3009857